$\forall$$a$, $b$:$\mathbb{N}^{+}$. $a$ $\mid$ $b$ $\Leftrightarrow$ ($\exists$$c$:$\mathbb{N}^{+}$. $b$ $=$ $a$$\cdot$$c$ $\in$ $\mathbb{N}^{+}$)